Algorithms For Extracting Timeliness Graphs

We consider asynchronous message-passing systems in which some links are timely and processes may crash. Each run defines a timeliness graph among correct processes: (p; q) is an edge of the timeliness graph if the link from p to q is timely (that is, there is bound on communication delays from p to q). The main goal of this paper is to approximate this timeliness graph by graphs having some properties (such as being trees, rings, ...). Given a family S of graphs, for runs such that the timeliness graph contains at least one graph in S then using an extraction algorithm, each correct process has to converge to the same graph in S that is, in a precise sense, an approximation of the timeliness graph of the run. For example, if the timeliness graph contains a ring, then using an extraction algorithm, all correct processes eventually converge to the same ring and in this ring all nodes will be correct processes and all links will be timely. We first present a general extraction algorithm and then a more specific extraction algorithm that is communication efficient (i.e., eventually all the messages of the extraction algorithm use only links of the extracted graph)

Usability and Feasibility Study of a Remote Cognitive Behavioral Therapy System with Long-Term Unemployed Women

We present the results of the use of a cognitive behavioral therapeutic intervention tool to improve the mental, physical, and social health of a group of long-term unemployed women in Spain. Method: We sent automated text messages (SMS) to the mobile phones of long-term unemployed women selected at random from public social services. During a 28-day intervention period, women received four daily automated text messages on her mobile phone on a predetermined hourly schedule. We measured depression symptoms at the start and end of the intervention and we analyzed qualitative data to determine the acceptability of a remote SMS program. Results: Depression symptoms using the Personal Health Questionnaire-9 (PHQ-9), went from an average of 13.8 at baseline to 4.9 at the end of 28 days (p = 0.89). One hundred percent of the women reported that they liked receiving the text messages and most found them helpful

Programa 2000: A modo de plebiscito

Sin resume

Frame synchronization performance and analysis

The analysis used to generate the theoretical models showing the performance of the frame synchronizer is described for various frame lengths and marker lengths at various signal to noise ratios and bit error tolerances

Asymptotic iteration method for eigenvalue problems

An asymptotic interation method for solving second-order homogeneous linear differential equations of the form y'' = lambda(x) y' + s(x) y is introduced, where lambda(x) \neq 0 and s(x) are C-infinity functions. Applications to Schroedinger type problems, including some with highly singular potentials, are presented.Comment: 14 page

Simultaneous Optical Model Analyses of Elastic Scattering, Breakup, and Fusion Cross Section Data for the 6^{6}He + 209^{209}Bi System at Near-Coulomb-Barrier Energies

Based on an approach recently proposed by us, simultaneous $\chi^{2}$-analyses are performed for elastic scattering, direct reaction (DR) and fusion cross sections data for the $^{6}$He+$^{209}$Bi system at near-Coulomb-barrier energies to determine the parameters of the polarization potential consisting of DR and fusion parts. We show that the data are well reproduced by the resultant potential, which also satisfies the proper dispersion relation. A discussion is given of the nature of the threshold anomaly seen in the potential

The REVERE project:Experiments with the application of probabilistic NLP to systems engineering

Despite natural language’s well-documented shortcomings as a medium for precise technical description, its use in software-intensive systems engineering remains inescapable. This poses many problems for engineers who must derive problem understanding and synthesise precise solution descriptions from free text. This is true both for the largely unstructured textual descriptions from which system requirements are derived, and for more formal documents, such as standards, which impose requirements on system development processes. This paper describes experiments that we have carried out in the REVERE1 project to investigate the use of probabilistic natural language processing techniques to provide systems engineering support